David Pnueli's Documents

David Pnueli's Documents

Meccanica dei fluidi

Meccanica dei fluidi
Read more
The Temporal Logic of Reactive and Concurrent Systems: Specification

The Temporal Logic of Reactive and Concurrent Systems: Specification
Read more
Temporal verification of reactive systems: progress

Temporal verification of reactive systems: progress
Read more
Meccanica dei fluidi

Meccanica dei fluidi
Read more
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings

Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings
Read more
Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised ... Computer Science and General Issues)

Perspectives of Systems Informatics: 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised ... Computer Science and General Issues)
Read more
The Adventures of Dannen Lifehold 1 Breaking Free

The Adventures of Dannen Lifehold 1 Breaking Free
Read more
Mentoring Executives and Directors

Mentoring Executives and Directors
Read more
Geographic Information Analysis

Geographic Information Analysis
Read more
Handbook of Thromboprophylaxis, 2nd Edition

Handbook of Thromboprophylaxis, 2nd Edition
Read more
2d Artwork and 3d Modelling for Game Artists

2d Artwork and 3d Modelling for Game Artists
Read more
Assassin's Creed: Prima Official Game Guide (Prima Official Game Guides)

Assassin's Creed: Prima Official Game Guide (Prima Official Game Guides)
Read more
The Big Picture: Reflections on Science, Humanity, and a Quickly Changing Planet

The Big Picture: Reflections on Science, Humanity, and a Quickly Changing Planet
Read more
The Aid Effect: Ethnographies of Development Practice and Neo-liberal Reform (Anthropology, Culture and Society)

The Aid Effect: Ethnographies of Development Practice and Neo-liberal Reform (Anthropology, Culture and Society)
Read more
The Limits to Capital

The Limits to Capital
Read more
The Tribal Living Book: 150 Things to Do and Make from Traditional Cultures

The Tribal Living Book: 150 Things to Do and Make from Traditional Cultures
Read more
Switching to the Mac: The Missing Manual, Snow Leopard Edition

Switching to the Mac: The Missing Manual, Snow Leopard Edition
Read more
Research and Trends in Data Mining Technologies and Applications

Research and Trends in Data Mining Technologies and Applications
Read more
Physics modelling for game programming

Physics modelling for game programming
Read more
Mentoring Executives and Directors

Mentoring Executives and Directors
Read more
The Scandinavian Baltic Crusades 1100-1500 (Men-at-Arms)

The Scandinavian Baltic Crusades 1100-1500 (Men-at-Arms)
Read more
Encyclopedia of Mobile Computing and Commerce

Encyclopedia of Mobile Computing and Commerce
Read more
ground penetrating radar

ground penetrating radar
Read more
Techniques for Coaching and Mentoring

Techniques for Coaching and Mentoring
Read more
Understanding Assessment (Teaching About Learning)

Understanding Assessment (Teaching About Learning)
Read more
Exploring the Urban Past: Essays in Urban History by H. J. Dyos

Exploring the Urban Past: Essays in Urban History by H. J. Dyos
Read more
Medieval Scandinavian Armies (2)

Medieval Scandinavian Armies (2)
Read more
Dictionary of Human Rights, A

Dictionary of Human Rights, A
Read more
Guardians of Power: The Myth of the Liberal Media

Guardians of Power: The Myth of the Liberal Media
Read more
Adobe Photoshop Lightroom 1.1 for the Professional Photographer

Adobe Photoshop Lightroom 1.1 for the Professional Photographer
Read more